$\forall$$A$, $B$:MsgA. ($A$ $\Vert\!+$ $B$) $\Rightarrow$ Feasible($A$) $\Rightarrow$ Feasible($B$) $\Rightarrow$ Feasible($A$ $\oplus$ $B$)